| Model: | crowds v.1 (DTMC) |
| Parameter(s) | TotalRuns = 5, CrowdSize = 20 |
| Property: | positive (prob-reach) |
./pet.sh reachability --precision 0.001 --relative-error --only-result -m crowds.prism -p crowds.props --property positive --const TotalRuns=5,CrowdSize=20
| Walltime: | 600.178863286972s |
| Return code: | 130 |